T-ideals of Cayley Hamilton algebras

On quantum matrix algebras satisfying the Cayley-Hamilton-Newton identities

The Cayley-Hamilton-Newton identities which generalize both the characteristic identity and the Newton relations have been recently obtained for the algebras of the RTT-type. We extend this result to a wider class of algebras M(R̂, F̂ ) defined by a pair of compatible solutions of the Yang-Baxter equation. This class includes the RTTalgebras as well as the Reflection equation algebras. On leave o...

The Cayley–Hamilton Theorem

The Cayley-Hamilton theorem

Theorem 1. Let A be a n × n matrix, and let p(λ) = det(λI − A) be the characteristic polynomial of A. Then p(A) = 0.

Cayley-Hamilton Theorem

The Cayley-Hamilton Theorem

This document contains a proof of the Cayley-Hamilton theorem based on the development of matrices in HOL/Multivariate Analysis.